s:DSet, a, b:|s|. Dec(a = b) 

latex

Up	sets 1
Definitions of Statement	DSet
Definitions	P & Q, t  T, , P  Q, x f y, P  Q, x:A. B(x), P  Q, DSet
Lemmas	dset wf, set car wf, decidable assert, assert of dset eq, set eq wf, assert wf, decidable functionality